% tuProlog doesn't support dynamic, multifile predicates %
% SWI-Prolog doesn't know how to ask or log messages %

:-dynamic 
	fact/2, askable/2, rule/3, av/2.
:-multifile
	fact/2, rule/3.

:- dynamic ask/1.
:- multifile ask/1.

log(X) :- write(X), nl.
ask(_,_) :- fail.
